1. Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings
پدیدآورنده : Berthe Y. Choueiry, Toby Walsh )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1864
2. Algorithmic Decision Theory
پدیدآورنده : \ Toby Walsh (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Decision making -- Mathematical models -- Congresses.,Decision trees -- Congresses.,Data mining -- Congresses.,تصمیم‌گیری -- الگو‌های ریاضی -- کنگره ها ,درخت‌های تصمیم -- کنگره ها ,داده‌کاوی -- کنگره‌ها
رده :
HD
30
.
23
.
A55
2015
E-Book
,
3. Algorithmic Decision Theory
پدیدآورنده : / Toby Walsh
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
4. Principles and practice of constraint programming-CP2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings
پدیدآورنده : Toby Walsh )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2239
5. SAT 2005 :
پدیدآورنده : edited by Enrico Giunchiglia and Toby Walsh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
رده :
QA76
.
9
.
A43
S28
2006eb
6. SAT2000 : highlights of satisfiability research in the year 2000
پدیدآورنده : /Ian Gent , Hans van Maaren, Toby Walsh.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع :
7. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
پدیدآورنده : Fahiem Bacchus, Toby Walsh )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
